Don't care in SMT: building flexible yet efficient abstraction/refinement solversBAUER, Andreas; LEUCKER, Martin; SCHALLHART, Christian et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 1, pp 23-37, issn 1433-2779, 15 p.Conference Paper

Detecting malicious code by model checkingKINDER, Johannes; KATZENBEISSER, Stefan; SCHALLHART, Christian et al.Lecture notes in computer science. 2005, pp 174-187, issn 0302-9743, isbn 3-540-26613-5, 14 p.Conference Paper

Tools for test case generationBELINFANTE, Axel; FRANTZEN, Lars; SCHALLHART, Christian et al.Lecture notes in computer science. 2005, pp 391-438, issn 0302-9743, isbn 3-540-26278-4, 48 p.Conference Paper

OXPATH: A language for scalable data extraction, automation, and crawling on the deep webFURCHE, Tim; GOTTLOB, Georg; GRASSO, Giovanni et al.The VLDB journal. 2013, Vol 22, Num 1, pp 47-72, issn 1066-8888, 26 p.Article

Monitoring of real-time propertiesBAUER, Andreas; LEUCKER, Martin; SCHALLHART, Christian et al.Lecture notes in computer science. 2006, pp 260-272, issn 0302-9743, isbn 3-540-49994-6, 1Vol, 13 p.Conference Paper

The ontological key: automatically understanding and integrating forms to access the deep WebFURCHE, Tim; GOTTLOB, Georg; GRASSO, Giovanni et al.The VLDB journal. 2013, Vol 22, Num 5, pp 615-640, issn 1066-8888, 26 p.Article